First-Order Hyperpolarizability of Triphenylamine Derivatives Containing Cyanopyridine: Molecular Branching Effect
نویسندگان
چکیده
منابع مشابه
Solvent and branching effect on the two-photon absorption properties of push–pull triphenylamine derivatives
The photophysical and two-photon absorption (2PA) properties of two tri-podal molecules and of their quadrupolar and dipolar counterparts are reported for a series of solvents with varying polarity. The molecules possess a tri-phenylamine electron donating group and mono-cyano acceptors while olefinic and acetylenic p-linkers have been used. Branching led to an increase of the molar extinction ...
متن کاملThe Effect of DEM Raster Resolution on First Order, Second Order and Compound Terrain Derivatives
It is well known that the grid cell size of a raster digital elevation model has significant effects on derived terrain variables such as slope, aspect, plan and profile curvature or the wetness index. In this paper the quality of DEMs derived from the interpolation of photogrammetrically derived elevation points in Alberta, Canada, is tested. DEMs with grid cell sizes ranging from 100 to 5 m w...
متن کاملDecidable and Undecidable Fragments of First-Order Branching Temporal Logics
In this paper we analyze the decision problem for fragments of first-order extensions of branching time temporal logics such as computational tree logics CTL and CTL or Prior’s Ockhamist logic of historical necessity. On the one hand, we show that the one-variable fragments of logics like first-order C T L —such as the product of propositional C T L with simple propositional modal logic S5, or ...
متن کاملAn Axiomatization of a First-order Branching Time Temporal Logic
We introduce a first-order temporal logic for reasoning about branching time. It is well known that the set of valid formulas is not recursively enumerable and there is no finitary axiomatization. We offer a sound and strongly complete axiomatization for the considered logic.
متن کاملA First-Order Branching Time Logic of Multi-Agent System
This paper presents a first-order branching time temporal logic that is suitable for describing and reasoning about a wide class of computational multi-agent systems. The logic is novel in that it supports reasoning about the beliefs, actions, goals, abilities and structure of groups of agents. A sound proof system for the logic is presented, and some short examples are given, showing how the l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Physical Chemistry C
سال: 2018
ISSN: 1932-7447,1932-7455
DOI: 10.1021/acs.jpcc.7b05829